push-down store - Deutsch Englisch Wörterbuch